Specification and Model Connection in the Möbius Modeling Framework by Amy

Möbius is an extensible framework for system modeling. Models can be designed using several modeling languages, which are called formalisms. Multiple solution methods, including discrete-event simulation and state-space solvers, are available. Some systems are modeled with a combination of several models. There are two methodologies for supporting communication between models: composed models communicate via shared state variables, and connected models communicate by passing solution values, which are called results. We will present the Möbius platform for supporting model connection. First, we explain the database used to store results. Next, we propose a software architecture for building a broad class of connection formalisms and solvers. We conclude with a connected model case study using the Möbius modeling tool. iv To my family and friends. v ACKNOWLEDGMENTS I would like to acknowledge all of the individuals who provided technical guidance, advice, finances, and encouragement during this endeavor. First, I would like to thank my adviser, Professor William H. Sanders, for inviting me to join the Möbius research group. Thank you for the patience, technical guidance, and mentoring that you provided throughout the project. Thanks to my teammatesster, and Graham Clark for their help and advice. Thanks also to Jenny Applequist for editing this document and helping me through the thesis approval process. I would also like to thank the Motorola Validation Center and the National Science Foundation (contract number EIA 99-75019) for their financial support of the Möbius research project. I would not have survived the trials of a thesis project without the support of my family and friends. First, I would like to thank my parents, Bob and Anna Ruth, for their encouragement. I extend many thanks to my two best friends, Tate and Samson, for lending a sympathetic ear when needed. Thanks also to Lee for her many graduate school stories and insights. I would also like to thank my friends in Colorado for providing a persistent, moti-vational force to guide me back to Illinois to finish my master's degree. I extend my thanks to everyone who helped me to accomplish this goal.